School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
431	Output-Sensitive Construction of the Union of Triangles Esther Ezra and Micha Sharir School of Computer Science Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2007-08-27 22:45:23 Computational complexity theory Theory of computation Analysis of algorithms NP-complete problems Set cover problem Randomized algorithm Time complexity Minimum spanning tree Point location
432	From Indentation Shapes to Code Structures Abram Hindle, Michael W. Godfrey, and Richard C. Holt Software Architecture Group (SWAG) School of Computer Science University of Waterloo Waterloo, Ontario, Canada Add to Reading List Source URL: churchturing.org Language: English - Date: 2009-04-12 14:52:53 Software engineering Computer programming Computing Procedural programming languages Source code Cross-platform software Comment Reference Programming style Nesting Conditional ALGOL 68
433	Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software Computing Compiler construction Compiling tools Formal languages Cross-platform software Parser generators Syntax GNU bison Parsing Lexical analysis PHP
434	Microsoft PowerPoint - ISO25964-mapping-to-SKOS-XL.pptx Add to Reading List Source URL: at-web1.comp.glam.ac.uk Language: English - Date: 2012-09-27 10:47:58 Knowledge representation Information science Semantic Web Computing School of Computer Science University of Manchester Information Thesauri Simple Knowledge Organization System ISO 25964 Thesaurus Resource Description Framework Web Ontology Language
435	Dual Decomposition with Many Overlapping Components Andr´e F. T. Martins∗† Noah A. Smith∗ Pedro M. Q. Aguiar‡ M´ario A. T. Figueiredo† ∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, P Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2011-06-21 07:04:38 Mathematical optimization Operations research Mathematics Mathematical analysis Convex optimization Subgradient method Augmented Lagrangian method Decomposition method Dynamic programming Algorithm Linear programming
436	Projected Natural Actor-Critic Philip S. Thomas, William Dabney, Sridhar Mahadevan, and Stephen Giguere School of Computer Science University of Massachusetts Amherst Amherst, MA 01003 Add to Reading List Source URL: psthomas.com Language: English - Date: 2013-11-10 12:06:12 Numerical analysis Numerical linear algebra Gradient descent Mathematical optimization Gradient method Reinforcement learning Artificial neural network Subgradient method
437	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
438	Objectifying the Web the "light" way: an RDF-based framework for the description of Web objects Pasqualino “Titto” Assini University of Essex Wivenhoe Park Colchester, Essex - CO4 3SQ - U.K. Add to Reading List Source URL: www10.org Language: English - Date: 2001-03-15 04:10:00 Computing Semantic Web Resource Description Framework Object-oriented programming Knowledge representation School of Computer Science University of Manchester RDF Schema Web Ontology Language Object SOAP Java Web resource
439	Automating the Configuration of Multi Software Product Lines Marko Rosenmu¨ller, Norbert Siegmund School of Computer Science University of Magdeburg, Germany {rosenmue,nsiegmun}@ovgu.de Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English Computing Feature model Multiprotocol Label Switching Wireless sensor network Conceptual model Class diagram
440	M2R Exam – Semantic web: from XML to OWL Semantic and social web part Duration : 2h30 Any document allowed – no communication device allowed January 2013 Note: Please, carefully read all the questions before answerin Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2013-02-20 12:09:22 Semantic Web Computing World Wide Web Consortium Web standards Resource Description Framework Knowledge representation School of Computer Science University of Manchester Web Ontology Language RDF Schema Cardinality Restriction Cardinal number

UPDATE